สมการเชิงอนุพันธ์อันดับแรกและปัญหาค่าขอบเขต: แรงจูงใจในการใช้การแปลงอินทิกรัล

ลองนึกภาพว่าคุณกำลังพยายามเดินทางผ่านป่าหนาแน่นไร้ทางเดิน (โดเมนเวลา) โดเมนเวลา). ทุกขั้นตอนต้องใช้การตัดไม้ขัดแย้งกับพุ่มไม้หนาแน่นของการอินทิเกรตและการหาอนุพันธ์ แต่ตอนนี้ลองนึกถึงประตูเวทมนตร์ที่พาคุณไปยังสนามโล่งแจ้งกว้าง (โดเมนการแปลง) โดเมนการแปลง) ที่การเดินทางเดียวกันกลายเป็นเพียงการเดินเล่นบนถนนราบเรียบ นี่คือแก่นแท้ของ การแปลงอินทิกรัล.

โดยการเปลี่ยนฟังก์ชันจากโดเมน $t$ เข้าสู่โดเมน $s$ โดยใช้ 'สะพาน' ที่เฉพาะเจาะจง ซึ่งเรียกว่า เคอร์เนล เราจะเปลี่ยนสมการเชิงอนุพันธ์ที่ซับซ้อนให้กลายเป็นสมการพีชคณิตง่ายๆ การแก้ปัญหานั้นจึงกลายเป็นเรื่องของการคำนวณแทนที่จะเป็นเรื่องของแคลคูลัส

สะพานทางคณิตศาสตร์: การแปลงอินทิกรัล

การแปลงอินทิกรัลคือความสัมพันธ์ที่กำหนดฟังก์ชัน $f(t)$ ใหม่เป็นฟังก์ชัน $F(s)$ โดยใช้อินทิกรัลไม่จำกัด:

$$F(s) = \int_\alpha^\beta K(s, t)f(t)dt$$

ที่นี่ $K(s, t)$ คือ เคอร์เนล ของกระบวนการแปลง ในกรณีของการแปลงลาปลาส ซึ่งเป็นเครื่องมือหลักของเราในการแก้ปัญหาค่าเริ่มต้น (IVP) เคอร์เนลคือ $e^{-st}$ และช่วงคือ $[0, \infty)$

รากฐาน: อินทิกรัลไม่จำกัด

เนื่องจากการแปลงเหล่านี้มักทำงานในโดเมนที่ไม่จำกัด เราจึงต้องพึ่งพาทฤษฎีของ อินทิกรัลไม่จำกัด. เราได้กำหนดอินทิกรัลในช่วงที่ไม่มีขอบเขตไว้เป็นผลเฉลยของอินทิกรัลจำกัด:

$$\int_a^\infty f(t)dt = \lim_{A \to \infty} \int_a^A f(t)dt$$

การรวมตัว: หากผลเฉลยเป็นจำนวนจริงจำกัด แปลงจะถูกกำหนด
การแตกแยก: หากผลเฉลยไม่มีอยู่ (พุ่งเข้าสู่อนันต์หรือสั่นสะเทือน) แปลงสำหรับฟังก์ชันนี้จะไม่ถูกกำหนด

ตัวอย่าง: รากฐานการมีอยู่ของแปลงลาปลาส

ประเมินอินทิกรัลไม่จำกัด $\int_0^\infty e^{ct} dt$ สำหรับค่าคงที่ $c$

$$\lim_{A \to \infty} \int_0^A e^{ct} dt = \lim_{A \to \infty} \left[ \frac{e^{ct}}{c} \right]_0^A = \lim_{A \to \infty} \left( \frac{e^{cA} - 1}{c} \right)$$

หาก $c < 0$ จะได้ว่า $e^{cA} \to 0$ เมื่อ $A \to \infty$ ดังนั้นอินทิกรัล รวมตัว ไปยัง $-1/c$ หาก $c > 0$ อินทิกรัล แตกแยก. ตรรกะนี้กำหนดเงื่อนไข $s > a$ ในแปลงลาปลาส

การประยุกต์ใช้จริง

การแปลงอินทิกรัลไม่ใช่แค่เรื่องทฤษฎีที่น่าสนใจ แต่จำเป็นต่อการจัดการกับ:

แรงกระตุ้นแบบช่วงต่อเนื่อง: ระบบการทำงานแบบเปิด/ปิด (เช่น มอเตอร์เริ่มต้น)
แรงกระตุ้นกระทันหัน: การกระแทกอย่างฉับพลัน (เช่น ค้อนกระทบกับคาน)
ประสิทธิภาพทางพีชคณิต: รวมเงื่อนไขเริ่มต้น $y(0), y'(0)$ เข้าไปในขั้นตอนแรกของการแก้ปัญหาโดยตรง

🎯 หลักการสำคัญ

การแปลงอินทิกรัลทำให้ตัวดำเนินการเชิงอนุพันธ์ที่พึ่งพาระบบแคลคูลัสในโดเมนเวลา กลายเป็นปฏิบัติการเชิงพีชคณิตในโดเมนการแปลง ความสำเร็จของการแปลงนี้ขึ้นอยู่กับการ การรวมตัว ของการอินทิกรัลไม่จำกัดที่กำหนดการแปลงนี้

คำถามที่ 1

ฟังก์ชัน $K(s,t)$ มีบทบาทอะไรในการแปลงอินทิกรัล?

มันทำหน้าที่เป็นเคอร์เนล ซึ่งเป็น 'สะพาน' ระหว่างโดเมนเวลาและโดเมนการแปลง

มันแสดงเงื่อนไขเริ่มต้นของสมการเชิงอนุพันธ์

มันคือคำตอบของส่วนโฮโมเจนีอัสของสมการเชิงอนุพันธ์

มันเป็นตัวคูณปริมาณที่ใช้เพื่อให้มั่นใจว่าอินทิกรัลจะแตกแยกเสมอ

คำถามที่ 2

อินทิกรัลไม่จำกัด $\int_1^\infty \frac{dt}{t}$ แตกแยกหรือรวมตัว?

มันรวมตัวเป็น 1

มันแตกแยก

มันรวมตัวเป็น 0

มันรวมตัวเป็น $\ln(t)$

คำถามที่ 3

ค่าคงที่ $c$ ใดบ้างที่ทำให้อินทิกรัล $\int_0^\infty e^{ct} dt$ รวมตัว?

$c > 0$

$c = 0$

$c < 0$

ทุกจำนวนจริง $c$

คำถามที่ 4

หาช่วงของ $p$ ที่ทำให้อินทิกรัลไม่จำกัด $\int_1^\infty t^{-p} dt$ รวมตัว

$p < 1$

$p > 1$

$p = 1$

$p \geq 0$

คำถามที่ 5

ข้อได้เปรียบหลักของการใช้การแปลงอินทิกรัล เช่น แปลงลาปลาส ในการแก้ปัญหาค่าเริ่มต้น (IVP) คืออะไร?

มันช่วยกำจัดความจำเป็นในการอินทิเกรตเลย

มันเปลี่ยนสมการเชิงอนุพันธ์และเงื่อนไขเริ่มต้นให้กลายเป็นสมการพีชคณิตเพียงสมการเดียว

มันใช้ได้เฉพาะกับสมการโฮโมเจนีอัส ทำให้พวกมันง่ายขึ้น

มันช่วยให้เราละเลยช่วงการมีอยู่

ความท้าทาย: การเชื่อมโยงโดเมน

การควบคุมการรวมตัวและการสร้างโครงสร้าง

ในความท้าทายนี้ เราจะสำรวจการเปลี่ยนแปลงจากแคลคูลัสไปยังโดเมนลาปลาส โดยตรวจสอบฟังก์ชันเป็นคาบและความต่อเนื่องแบบช่วงย่อย ซึ่งเป็นองค์ประกอบพื้นฐานของระบบวิ ingineering

คำถามที่ 1

วาดกราฟของ $g(t) = u_1(t) + 2u_3(t) - 6u_4(t)$ สำหรับ $t \ge 0$ แล้วอธิบายพฤติกรรมในแต่ละช่วง

คำตอบ:
ฟังก์ชันนี้เป็นฟังก์ชันขั้นบันไดแบบช่วงต่อเนื่อง:
• $0 \le t < 1$: $g(t) = 0$
• $1 \le t < 3$: $g(t) = 1$
• $3 \le t < 4$: $g(t) = 1 + 2 = 3$
• $t \ge 4$: $g(t) = 3 - 6 = -3$
กราฟประกอบด้วยขั้นบันไดแนวนอนพร้อมการกระโดดที่ $t=1, 3, 4$

คำถามที่ 2

แสดงว่าสำหรับฟังก์ชันเป็นคาบที่มีคาบ $T$ แปลงลาปลาสจะได้ค่า: $\mathcal{L}\{f(t)\} = \frac{\int_0^T e^{-st} f(t) dt}{1 - e^{-sT}}$

คำตอบ:
เขียนการแปลงเป็นผลรวมของอินทิกรัลในช่วงที่มีความยาว $T$:
$\mathcal{L}\{f(t)\} = \sum_{n=0}^{\infty} \int_{nT}^{(n+1)T} e^{-st} f(t) dt$.
ให้ $t = \tau + nT$ ดังนั้น $f(t) = f(\tau)$ จากความเป็นคาบ
$\mathcal{L}\{f(t)\} = \sum_{n=0}^{\infty} \int_{0}^{T} e^{-s(\tau+nT)} f(\tau) d\tau = (\sum_{n=0}^{\infty} e^{-snT}) \int_0^T e^{-s\tau} f(\tau) d\tau$.
ผลรวมเป็นอนุกรมเรขาคณิต $\sum (e^{-sT})^n = 1/(1 - e^{-sT})$ สำหรับ $s > 0$

คำถามที่ 3

ตรวจสอบแปลงลาปลาสของ $\sin t$ โดยใช้อนุกรมเทย์เลอร์ $\sum_{n=0}^{\infty} \frac{(-1)^n t^{2n+1}}{(2n+1)!}$ โดยสมมุติว่าการแปลงแบบทีละพจน์

คำตอบ:
$\mathcal{L}\{\sin t\} = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)!} \mathcal{L}\{t^{2n+1}\}$.
เนื่องจาก $\mathcal{L}\{t^k\} = k!/s^{k+1}$ เราได้:
$\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)!} \frac{(2n+1)!}{s^{2n+2}} = \sum_{n=0}^{\infty} \frac{(-1)^n}{s^{2n+2}} = \frac{1}{s^2} \sum_{n=0}^{\infty} (-\frac{1}{s^2})^n$.
ใช้สูตรอนุกรมเรขาคณิต $1/(1-r)$ โดยที่ $r = -1/s^2$:
$\frac{1}{s^2} \cdot \frac{1}{1 + 1/s^2} = \frac{1}{s^2} \cdot \frac{s^2}{s^2 + 1} = \frac{1}{s^2 + 1}$.